『Lambda Calculus with Types』 - pogi-log

『Lambda Calculus with Types』

著者：Henk Barendregt, Wil Dekkers, Richard Statman

版元：Cambridge University Press

発行年：2013/6/20

頁数：856ページ

形態：ハードカバー

定価：£81.00

所持：pogin503.icon

Lambda Calculus with Types

PDF: https://repository.ubn.ru.nl/bitstream/handle/2066/17231/17231.pdf